બુલિયન સમીકરણ $\left( {\left( {p \wedge q} \right) \vee \left( {p \vee \sim q} \right)} \right) \wedge \left( { \sim p \wedge \sim q} \right)$ =
$p \wedge q$
$p \wedge \left( { \sim q} \right)$
$\left( { \sim p} \right) \wedge \left( { \sim q} \right)$
$p \vee \left( { \sim q} \right)$
$p\Rightarrow q$ ના સમાનાર્થીંનું પ્રતિપ......છે.
બુલિયન સમીકરણ $( p \Rightarrow q ) \wedge( q \Rightarrow \sim p )$ એ . . . ને તુલ્ય છે .
જો વિધાન $p$ $\rightarrow$ ~$q$ અસત્ય હોય તો
જો વિધાન $(p \rightarrow q) \rightarrow (q \rightarrow r)$ એ અસત્ય હોય તો વિધાનો $p,q,r$ નું સત્યાર્થતા મૂલ્ય અનુક્રમે ......... થાય
જો બુલિયન બહુપદી $( p \Rightarrow q ) \Leftrightarrow( q *(\sim p ))$ એ સંપૂર્ણ સત્ય હોય તો $p *(\sim q )$ એ . . . . ને તુલ્ય છે.